Optimal. Leaf size=116 \[ \frac{160}{2401 \sqrt{1-2 x}}-\frac{16}{147 (1-2 x)^{3/2} (3 x+2)}+\frac{160}{3087 (1-2 x)^{3/2}}-\frac{16}{147 (1-2 x)^{3/2} (3 x+2)^2}+\frac{1}{63 (1-2 x)^{3/2} (3 x+2)^3}-\frac{160 \sqrt{\frac{3}{7}} \tanh ^{-1}\left (\sqrt{\frac{3}{7}} \sqrt{1-2 x}\right )}{2401} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.031155, antiderivative size = 130, normalized size of antiderivative = 1.12, number of steps used = 7, number of rules used = 4, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.182, Rules used = {78, 51, 63, 206} \[ -\frac{240 \sqrt{1-2 x}}{2401 (3 x+2)}-\frac{80 \sqrt{1-2 x}}{343 (3 x+2)^2}+\frac{64}{147 \sqrt{1-2 x} (3 x+2)^2}+\frac{64}{441 (1-2 x)^{3/2} (3 x+2)^2}+\frac{1}{63 (1-2 x)^{3/2} (3 x+2)^3}-\frac{160 \sqrt{\frac{3}{7}} \tanh ^{-1}\left (\sqrt{\frac{3}{7}} \sqrt{1-2 x}\right )}{2401} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 78
Rule 51
Rule 63
Rule 206
Rubi steps
\begin{align*} \int \frac{3+5 x}{(1-2 x)^{5/2} (2+3 x)^4} \, dx &=\frac{1}{63 (1-2 x)^{3/2} (2+3 x)^3}+\frac{32}{21} \int \frac{1}{(1-2 x)^{5/2} (2+3 x)^3} \, dx\\ &=\frac{1}{63 (1-2 x)^{3/2} (2+3 x)^3}+\frac{64}{441 (1-2 x)^{3/2} (2+3 x)^2}+\frac{32}{21} \int \frac{1}{(1-2 x)^{3/2} (2+3 x)^3} \, dx\\ &=\frac{1}{63 (1-2 x)^{3/2} (2+3 x)^3}+\frac{64}{441 (1-2 x)^{3/2} (2+3 x)^2}+\frac{64}{147 \sqrt{1-2 x} (2+3 x)^2}+\frac{160}{49} \int \frac{1}{\sqrt{1-2 x} (2+3 x)^3} \, dx\\ &=\frac{1}{63 (1-2 x)^{3/2} (2+3 x)^3}+\frac{64}{441 (1-2 x)^{3/2} (2+3 x)^2}+\frac{64}{147 \sqrt{1-2 x} (2+3 x)^2}-\frac{80 \sqrt{1-2 x}}{343 (2+3 x)^2}+\frac{240}{343} \int \frac{1}{\sqrt{1-2 x} (2+3 x)^2} \, dx\\ &=\frac{1}{63 (1-2 x)^{3/2} (2+3 x)^3}+\frac{64}{441 (1-2 x)^{3/2} (2+3 x)^2}+\frac{64}{147 \sqrt{1-2 x} (2+3 x)^2}-\frac{80 \sqrt{1-2 x}}{343 (2+3 x)^2}-\frac{240 \sqrt{1-2 x}}{2401 (2+3 x)}+\frac{240 \int \frac{1}{\sqrt{1-2 x} (2+3 x)} \, dx}{2401}\\ &=\frac{1}{63 (1-2 x)^{3/2} (2+3 x)^3}+\frac{64}{441 (1-2 x)^{3/2} (2+3 x)^2}+\frac{64}{147 \sqrt{1-2 x} (2+3 x)^2}-\frac{80 \sqrt{1-2 x}}{343 (2+3 x)^2}-\frac{240 \sqrt{1-2 x}}{2401 (2+3 x)}-\frac{240 \operatorname{Subst}\left (\int \frac{1}{\frac{7}{2}-\frac{3 x^2}{2}} \, dx,x,\sqrt{1-2 x}\right )}{2401}\\ &=\frac{1}{63 (1-2 x)^{3/2} (2+3 x)^3}+\frac{64}{441 (1-2 x)^{3/2} (2+3 x)^2}+\frac{64}{147 \sqrt{1-2 x} (2+3 x)^2}-\frac{80 \sqrt{1-2 x}}{343 (2+3 x)^2}-\frac{240 \sqrt{1-2 x}}{2401 (2+3 x)}-\frac{160 \sqrt{\frac{3}{7}} \tanh ^{-1}\left (\sqrt{\frac{3}{7}} \sqrt{1-2 x}\right )}{2401}\\ \end{align*}
Mathematica [C] time = 0.0161928, size = 42, normalized size = 0.36 \[ \frac{256 \, _2F_1\left (-\frac{3}{2},3;-\frac{1}{2};\frac{3}{7}-\frac{6 x}{7}\right )+\frac{343}{(3 x+2)^3}}{21609 (1-2 x)^{3/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.012, size = 75, normalized size = 0.7 \begin{align*}{\frac{648}{16807\, \left ( -6\,x-4 \right ) ^{3}} \left ({\frac{43}{3} \left ( 1-2\,x \right ) ^{{\frac{5}{2}}}}-{\frac{1960}{27} \left ( 1-2\,x \right ) ^{{\frac{3}{2}}}}+{\frac{2450}{27}\sqrt{1-2\,x}} \right ) }-{\frac{160\,\sqrt{21}}{16807}{\it Artanh} \left ({\frac{\sqrt{21}}{7}\sqrt{1-2\,x}} \right ) }+{\frac{88}{7203} \left ( 1-2\,x \right ) ^{-{\frac{3}{2}}}}+{\frac{776}{16807}{\frac{1}{\sqrt{1-2\,x}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 2.76228, size = 149, normalized size = 1.28 \begin{align*} \frac{80}{16807} \, \sqrt{21} \log \left (-\frac{\sqrt{21} - 3 \, \sqrt{-2 \, x + 1}}{\sqrt{21} + 3 \, \sqrt{-2 \, x + 1}}\right ) + \frac{8 \,{\left (1620 \,{\left (2 \, x - 1\right )}^{4} + 10080 \,{\left (2 \, x - 1\right )}^{3} + 19404 \,{\left (2 \, x - 1\right )}^{2} + 18816 \, x - 13181\right )}}{7203 \,{\left (27 \,{\left (-2 \, x + 1\right )}^{\frac{9}{2}} - 189 \,{\left (-2 \, x + 1\right )}^{\frac{7}{2}} + 441 \,{\left (-2 \, x + 1\right )}^{\frac{5}{2}} - 343 \,{\left (-2 \, x + 1\right )}^{\frac{3}{2}}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.65516, size = 346, normalized size = 2.98 \begin{align*} \frac{240 \, \sqrt{7} \sqrt{3}{\left (108 \, x^{5} + 108 \, x^{4} - 45 \, x^{3} - 58 \, x^{2} + 4 \, x + 8\right )} \log \left (\frac{\sqrt{7} \sqrt{3} \sqrt{-2 \, x + 1} + 3 \, x - 5}{3 \, x + 2}\right ) - 7 \,{\left (25920 \, x^{4} + 28800 \, x^{3} - 4464 \, x^{2} - 11280 \, x - 2237\right )} \sqrt{-2 \, x + 1}}{50421 \,{\left (108 \, x^{5} + 108 \, x^{4} - 45 \, x^{3} - 58 \, x^{2} + 4 \, x + 8\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 2.12175, size = 128, normalized size = 1.1 \begin{align*} \frac{80}{16807} \, \sqrt{21} \log \left (\frac{{\left | -2 \, \sqrt{21} + 6 \, \sqrt{-2 \, x + 1} \right |}}{2 \,{\left (\sqrt{21} + 3 \, \sqrt{-2 \, x + 1}\right )}}\right ) + \frac{8 \,{\left (1620 \,{\left (2 \, x - 1\right )}^{4} + 10080 \,{\left (2 \, x - 1\right )}^{3} + 19404 \,{\left (2 \, x - 1\right )}^{2} + 18816 \, x - 13181\right )}}{7203 \,{\left (3 \,{\left (-2 \, x + 1\right )}^{\frac{3}{2}} - 7 \, \sqrt{-2 \, x + 1}\right )}^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]